Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.)
نویسندگان
چکیده
How can we make sure that the software we build does what it is supposed to do? This book provides an insight into established techniques that help developers overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, the Vienna Development Method (VDM), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
منابع مشابه
Study on implementation of one-piece lean line design using simulation techniques: A practical approach
This paper discusses the simulation study carried out for proposing one-piece lean line layout with features of Lean Manufacturing. The lean initiatives that can be addressed are, introducing Kanban replenishment sys-tem, better work-in-process, changing the layout, visual management techniques, standardized work for the re-duction of cycle time, number of workers, number of setups. To improve ...
متن کاملObjects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کاملPerformability Modelling Tools and Techniques
Over the last decade considerable effort has been put in the development of techniques to assess the performance and the dependability of computer and communication systems in an integrated way. This so-called per-formability modelling becomes especially useful when the system under study can operate partially, which is for instance the case for fault-tolerant computer systems and distributed s...
متن کاملGRAMMARS: GRAph-based Methods for the Modelling, Analysis and Realization of large-scale Systems TIN2004-07925-C03
As technology provides more storage, communication and computational resources, the problems faced by Computer Scientists increase in size and complexity. This trend leads to the non-scalability or non-applicability of methods that were traditionally considered adequate. This project aims at understanding, studying and solving problems that are becoming bottlenecks in the new technological scen...
متن کاملEmergency department resource optimisation for improved performance: a review
Emergency departments (EDs) have been becoming increasingly congested due to the combined impacts of growing demand, access block and increased clinical capability of the EDs. This congestion has known to have adverse impacts on the performance of the healthcare services. Attempts to overcome with this challenge have focussed largely on the demand management and the application of system wide p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009